package jdk17.sealed;


public sealed interface Shape permits Circle {
}
